/******************************************/
/* DTD Inquisitor 2                       */
/* Copyright: University of Pennsylvania  */
/* Author: Byron Choi                     */
/* Date: 9/2001                           */
/* Contact: kkchoi@gradient.cis.upenn.edu */
/******************************************/
package automata;

public class StatePair extends State {
  public Integer elt;
  public Integer elt2;

  public StatePair(Integer i, Integer j) {
    super(i);
    elt = i;
    elt2 = j;
  }

  public StatePair(int i, int j) {
    super(i);
    elt = new Integer(i);
    elt2 = new Integer(j);
  }

  public String toString() {
    return ("("+elt.toString()+ "," + elt2.toString()+")");
  }

  public int hashCode() {
    return (elt.intValue()*10000 + elt2.intValue());
  }

  public boolean equals(Object s) {
    return ((this.elt.intValue() == ((StatePair)s).elt.intValue()) 
	    && (this.elt2.intValue() == ((StatePair)s).elt2.intValue()));
  }
}
